1.
پدیدآورنده : ادیب سلطانی ،میرشمس الدین ،- 1310
کتابخانه: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ،منطق ریاضی، , ،گودل ? قضیه،
رده :
511
/3
الف
348
پ
1373
2. Topics in decision problem being an investigation there of in the domains of the first ...
پدیدآورنده : /a monograph by M. S. Adib-SoltÀni .,ادیب سلطانی,Adib Soltani
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
الف
۴
ت
۲ ۱۳۹۱
3. اصل ناپذیری ت-کمینگی
پدیدآورنده : /افشین امرادی رایگانی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع :
4. بررس امکان ساختاری شدن و راسری شدن برخی اثبات های قضیه ناتمامیت گودل
پدیدآورنده : /پیام سراجی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع :
5. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱- Nagel, Ernest
کتابخانه: کتابخانه کوثر دانشگاه قم (قم)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
6. برهان گودل و حقیقت و برهان
پدیدآورنده : نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
کتابخانه: کتابخانه انتشارات سمت (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
7. برهان گودل و حقیقت و برهان
پدیدآورنده : نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
کتابخانه: كتابخانه و مركز اسناد بنياد ايران شناسى (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
8. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
9. برهان گودل و حقیقت و برهان
پدیدآورنده : / نویسندگان ارنست ناگل، ج. نیومن، آلفرد تارسکی,عنوان اصلی: Godel's Proof.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹،
/
۶۵
/
ن
۲
ب
۴
10. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست Nagel, Ernest ۱۹۰۱ -
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
11. برهان گودل و حقیقت و برهان
پدیدآورنده : / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی: Godel's proof..
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲،
/
ب
۴
12. برهان گودل و حقيقت و برهان
پدیدآورنده : نويسندگان ارنست ناگل, ج نيومن و آلفرد تارسکي, ترجمه محمد اردشير
موضوع : گودل, قضيه منطق رياضي
۶ نسخه از این کتاب در ۶ کتابخانه موجود است.
13. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱ - Nagel, Ernest
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
14. برهان گودل و حقیقت و برهان
پدیدآورنده : / نویسندگان : ارنست ناگل، ج.نیومن آلفرد تارسکی,ناگل ,Nagel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA9
.
65
.
N3
15. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱ - م. Nagel, Ernest
کتابخانه: کتابخانه و موزه ملی ملک (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
۵۱۱
/
۳
ن
۲۱۸
ب
/
الفت
۱۳۶۴
16. برهان گودل و حقیقت و برهان
پدیدآورنده : نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
کتابخانه: کتابخانه و مرکز اطلاع رسانی شیخ بهائی (دفتر تبليغات اسلامی حوزه علميه خراسان) (خراسان رضوی)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲،
ب
۴
17. برهان گودل و حقيقت و برهان
پدیدآورنده : ناگل ، ارنست ، - 1901
موضوع : گودل ، قضيه=منطق رياضي
۷ نسخه از این کتاب در ۷ کتابخانه موجود است.
18. برهان گودل و حقيقت و برهان
پدیدآورنده : /نويسندگان ارنست ناگل ، ج . نيوسن و آلفروتارسکي ,ناگل ، ارنست ، ۱۹۰۱ - ,nagel, ernest
کتابخانه: کتابخانه دانشگاه علوم اسلامی رضوى (ع) (خراسان رضوی)
موضوع : گودل ، قضيه,منطق رياضي
رده :
۵۱۱
/
۳
ن
۲۱۸
ب
19. برهان گودل و حقیقت و برهان
پدیدآورنده : / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی به زبان اصلی: Godel's proof
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : برهان قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
20. برهانهای استاندارد قضیه ی دوم ناتمامیت گودل
پدیدآورنده : /شیوا خالقی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع :
